Free logic - PDFSEARCH.IO - Document Search Engine

Free logic
Results: 431

#	Item
151	COMP 4161 NICTA Advanced Course Advanced Topics in Software Verification Toby Murray, June Andronick, Gerwin Klein {} Add to Reading List Source URL: cs4161.web.cse.unsw.edu.au Language: English - Date: 2014-11-10 04:09:39 Law Intellectual property law Creative Commons Free music Lambda calculus Copyright Hoare logic Open content Computer law Copyleft
152	11 CHAPTER Recursive Description Add to Reading List Source URL: infolab.stanford.edu Language: English - Date: 2013-01-10 14:51:51 Computing Context-free grammar Formal grammar Syntax Regular language Parsing Regular expression Dyck language Production Formal languages Software engineering Logic
153	COMP4161 S2/2014 Advanced Topics in Software Verification Assignment 1 Solution Toby Murray August 27, 2014 Add to Reading List Source URL: cs4161.web.cse.unsw.edu.au Language: English - Date: 2014-11-10 04:09:39 Lambda calculus Computability theory Constructible universe Unification Free variables and bound variables Combinatory logic Fixed-point combinator Theoretical computer science Mathematics Mathematical logic
154	Coeffects: A calculus of context-dependent computation Tomas Petricek Dominic Orchard Alan Mycroft Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2014-06-16 05:18:39 Programming language semantics Denotational semantics Logic in computer science Curvature Free variables and bound variables Vector space Lambda calculus Monad Mathematics Algebra Models of computation
155	PDF Document Add to Reading List Source URL: isabelle.in.tum.de Language: English - Date: 2014-08-27 06:04:04 Model theory Predicate logic Skolem normal form Counterexample Free variables and bound variables Universal quantification Function American English Mathematics Logic Mathematical logic
156	Correcting A Widespread Error in Unification Algorithms PETER NORVIG Computer Science Division, University of California, Berkeley, CA 94720, USA Summary Add to Reading List Source URL: www.norvig.com Language: English - Date: 2003-10-26 19:35:31 Logic programming Computing Unification Static single assignment form Subst Free variables and bound variables Assignment Occurs check Resolution Automated theorem proving Mathematics Software engineering
157	Binders Unbound Stephanie Weirich Brent A. Yorgey Tim Sheard Add to Reading List Source URL: www.seas.upenn.edu Language: English - Date: 2014-07-10 05:47:09 Lambda calculus Logic Predicate logic Computability theory De Bruijn index Free variables and bound variables Closure Monad Combinatory logic Mathematics Software engineering Computing
158	Free Fonts from www.aimwell.org:57:09 Mandala Font Name Add to Reading List Source URL: www.softerviews.org Language: English - Date: 2014-08-14 08:27:02 Religion Typography Mind-body interventions Self Spirituality Mandala TrueType High-Logic Insight Human behavior Digital typography Typesetting
159	Formal Neighbourhoods, Combinatory B¨ohm Trees, and Untyped Normalization by Evaluation Peter Dybjer∗and Denis Kuperberg† February 29, 2008 Add to Reading List Source URL: www.liafa.univ-paris-diderot.fr Language: English - Date: 2012-10-25 13:52:51 Computer science Normalisation by evaluation Combinatory logic Fixed-point combinator Simply typed lambda calculus Denotational semantics Free variables and bound variables Functional programming Standard ML Theoretical computer science Lambda calculus Mathematics
160	Paul Bloomfield Note: This is a shortened version of a longer paper, please ask permission before quoting. EPISTEMIC INTEMPERANCE Miranda Fricker’s book Epistemic Injustice has been an inspiration for epistemologists Add to Reading List Source URL: www.bris.ac.uk Language: English - Date: 2014-07-23 09:13:50 Free will Judgment Reasoning Epistemology Modal logic Prejudice Philosophy of self Logic Philosophy Akrasia

UPDATE